2

Structure and definability in general bounded arithmetic theories

Year:
1999
Language:
english
File:
PDF, 399 KB
english, 1999
3

Markovian bulk-arrival and bulk-service queues with

Year:
2010
Language:
english
File:
PDF, 769 KB
english, 2010
5

Quasi-stationary distributions for discrete-state models

Year:
2013
Language:
english
File:
PDF, 612 KB
english, 2013
14

Stochastic models for the spread of HIV in a mobile heterosexual population

Year:
2007
Language:
english
File:
PDF, 774 KB
english, 2007
15

Modelling population processes with random initial conditions

Year:
2010
Language:
english
File:
PDF, 382 KB
english, 2010
17

Sojourn Times in Closed Queueing Networks

Year:
1983
Language:
english
File:
PDF, 1.49 MB
english, 1983
18

BINOMIAL AUTOREGRESSIVE PROCESSES WITH DENSITY-DEPENDENT THINNING

Year:
2014
Language:
english
File:
PDF, 493 KB
english, 2014
23

Translating IΔ0 + exp Proofs into Weaker Systems

Year:
2000
Language:
english
File:
PDF, 222 KB
english, 2000
24

Strengths and Weaknesses of LH Arithmetic

Year:
2002
Language:
english
File:
PDF, 326 KB
english, 2002
26

The shear modulus of flowing polyethylene melts

Year:
1969
Language:
english
File:
PDF, 521 KB
english, 1969
31

Thermally reversible strains in plasticized polyvinyl chloride

Year:
1947
Language:
english
File:
PDF, 609 KB
english, 1947
34

The weak pigeonhole principle for function classes in S12

Year:
2006
Language:
english
File:
PDF, 199 KB
english, 2006
35

The generalized Kolmogorov criterion

Year:
1989
Language:
english
File:
PDF, 941 KB
english, 1989
38

Survival in a quasi-death process

Year:
2008
Language:
english
File:
PDF, 191 KB
english, 2008
39

Minimization and NP multifunctions

Year:
2004
Language:
english
File:
PDF, 256 KB
english, 2004
40

Multifunction algebras and the provability of PH↓

Year:
2000
Language:
english
File:
PDF, 199 KB
english, 2000
41

Ordinal notations and well-orderings in bounded arithmetic

Year:
2003
Language:
english
File:
PDF, 244 KB
english, 2003
43

Modelling quasi-stationary behaviour in metapopulations

Year:
1999
Language:
english
File:
PDF, 290 KB
english, 1999
44

New methods for determining quasi-stationary distributions for markov chains

Year:
2000
Language:
english
File:
PDF, 687 KB
english, 2000
47

Modelling congestion in closed queueing networks

Year:
2000
Language:
english
File:
PDF, 156 KB
english, 2000
48

High-grade papillary cystadenocarcinoma of the tongue

Year:
1997
Language:
english
File:
PDF, 474 KB
english, 1997